Formalizing Behavior of Geographic Feature Types
نویسنده
چکیده
Acknowledgments
منابع مشابه
Geographic Feature Type Topic Model (GFTTM): grounding topics in the landscape
7 Probabilistic topic models are a class of unsupervised machine learning models used for understanding the latent topics in a corpus of documents. A new method for combining geographic feature data with text from geo-referenced documents to create topic models that are grounded in the physical environment is proposed. The Geographic Feature Type Topic Model (GFTTM) models each document in a co...
متن کاملGeographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet
We present the results of two behavioral experiments on the conceptualization of geographic events (here, the movements of hurricanes). The focus is on juxtaposing two types of presentation: static versus animated trajectories. We designed 72 animated and 72 static icons of the same hurricane movements and asked participants to group them. Within each condition we distinguished paths of hurrica...
متن کاملOntology Patterns for Complex Topographic Feature Types
Abstract Complex feature types are defined as integrated relations between basic features for a shared meaning or concept. The shared semantic concept is difficult to define in commonly used geographic information systems (GIS) and remote sensing technologies. The role of spatial relations between complex feature parts was recognized in early GIS literature, but had limited representation in th...
متن کاملDecision Support Using Data Mining Methods and Geographic Information
We present a decision support system using data mining methods and geographic information. The geographic information consists of heterogeneous, raster and vector, data types. While raster data types represent grid-based information collected by camera sensors, e.g., satellite images, vector data types are used for representing boundary information, for example, man-made or naturally defined re...
متن کاملApplied Type System ? ( Extended
The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type systems. However, in the presence of dependent types, there often exist some acute problems that make it difficult for PTS to accommodate many common realistic programming features such as general recursion, recursive types, effects (e.g., exceptions, references, input/output), etc. In th...
متن کامل